The Java Modeling Language (JML) (NII Shonan Meeting 2013-3)

نویسندگان

  • Gary T. Leavens
  • Peter H. Schmitt
  • Jooyong Yi
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mining & Modeling Unstructured Data in Software - Challenges for the Future (NII Shonan Meeting 2016-3)

متن کامل

Compact Data structures for Big Data (NII Shonan Meeting 2013-10)

متن کامل

Many-cores and On-chip Interconnects (NII Shonan Meeting 2013-8)

متن کامل

Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15)

متن کامل

Cognitive Social Robotics: Intelligence based on Embodied Experience and Social Interaction (NII Shonan Meeting 2013-14)

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • NII Shonan Meet. Rep.

دوره 2013  شماره 

صفحات  -

تاریخ انتشار 2013